(0 12 3)(1 18 15)(2 7 4)(5 19 17)(6 10 8)(9 14 11)(13 20 16)
ALLOWS (11/8)-SEQUENCE
1: (1 15 18)
(0 12 3)(1 15 18)(2 7 4)(5 19 17)(6 10 8)(9 14 11)(13 20 16)
2: (5 19 17)
(0 12 3)(1 15 18)(2 7 4)(5)(6 10 8)(9 14 11)(13 20 16)(17)(19)
3: (1 15 18)
(0 12 3)(1)(2 7 4)(5)(6 10 8)(9 14 11)(13 20 16)(15)(17)(18)(19)
4: (0 12 3)
(0)(1)(2 7 4)(3)(5)(6 10 8)(9 14 11)(12)(13 20 16)(15)(17)(18)(19)